Constraint-Generating Dependencies

Constraint-Generating Dependencies

Traditionally, dependency theory has been developed for uninterpreted data. Specifically, the only assumption that is made about the data domains is that data values can be compared for equality. However, data is often interpreted and there can be advantages in considering it as such, for instance obtaining more compact representations as done in constraint databases. This paper considers depen...

Generating a Network of Information Dependencies Automatically

Creating design structure matrices (DSM) requires hours of up front effort. Though previous research demonstrated a return on investment for applying DSM methods to project planning and control, widespread industry adoption remains elusive. Even without improved workflow plans, revealing information dependencies has been shown to improve collaboration within teams and process sharing between te...

A Guarded-Based Disjunctive Tuple-Generating Dependencies

Rule-based languages lie at the core of several areas of central importance to databases and artificial intelligence, such as data exchange, deductive databases, and knowledge representation and reasoning, to name a few. An algorithmic task that involves rules and is crucial for the above applications is query answering. In this work, we perform an in-depth complexity analysis of query answerin...

Explorer Guarded - Based Disjunctive Tuple - Generating Dependencies

Reasoning with Disjunctive Constrained Tuple-Generating Dependencies